A universal fixpoint semantics for ordered logicLAENENS, Els; VERMEIR, Dirk.Computers and artificial intelligence. 2000, Vol 19, Num 3, pp 221-254, issn 0232-0274Article

Synthesis from temporal specifications using preferred answer set programmingHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 280-294, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 15 p.Conference Paper

Dynamic decision-making in logic programming and game theoryDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2002, pp 36-47, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Order and negation as failureVAN NIEUWENBORGH, Davy; VERMEIR, Dirk.Lecture notes in computer science. 2003, pp 194-208, issn 0302-9743, isbn 3-540-20642-6, 15 p.Conference Paper

Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusionsBAUTERS, Kim; SCHOCKAERT, Steven; DE COCK, Martine et al.International journal of approximate reasoning. 2014, Vol 55, Num 2, pp 739-761, issn 0888-613X, 23 p.Article

A core language for fuzzy answer set programmingJANSSEN, Jeroen; SCHOCKAERT, Steven; VERMEIR, Dirk et al.International journal of approximate reasoning. 2012, Vol 53, Num 4, pp 660-692, issn 0888-613X, 33 p.Article

Ordered diagnosisVAN NIEUWENBORGH, Davy; VERMEIR, Dirk.Lecture notes in computer science. 2003, pp 244-258, issn 0302-9743, isbn 3-540-20101-7, 15 p.Conference Paper

Dynamically ordered probabilistic choice logic programmingDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2000, pp 227-239, issn 0302-9743, isbn 3-540-41413-4Conference Paper

Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 392-407, issn 0302-9743, isbn 3-540-26124-9, 16 p.Conference Paper

Modelling gene and protein regulatory networks with Answer Set ProgrammingFAYRUZOV, Timur; JANSSEN, Jeroen; VERMEIR, Dirk et al.International journal of data mining and bioinformatics (Print). 2011, Vol 5, Num 2, pp 209-229, issn 1748-5673, 21 p.Article

Cooperating answer set programmingVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2006, pp 226-241, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 16 p.Conference Paper

On programs with linearly ordered multiple preferencesVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2004, pp 180-194, issn 0302-9743, isbn 3-540-22671-0, 15 p.Conference Paper

Preferred answer sets for ordered logic programsVAN NIEUWENBORGH, Davy; VERMEIR, Dirk.Lecture notes in computer science. 2002, pp 432-443, issn 0302-9743, isbn 3-540-44190-5, 12 p.Conference Paper

An ordered logic program solverVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 128-142, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Semantic Web reasoning with Conceptual Logic ProgramsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2004, pp 113-127, issn 0302-9743, isbn 3-540-23842-5, 15 p.Conference Paper

Weighted answer sets and applications in intelligence analysisVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 169-183, issn 0302-9743, isbn 3-540-25236-3, 15 p.Conference Paper

Hierarchical decision making by autonomous agentsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2004, pp 44-56, issn 0302-9743, isbn 3-540-23242-7, 13 p.Conference Paper

Complexity of fuzzy answer set programming under Łukasiewicz semanticsBLONDEEL, Marjon; SCHOCKAERT, Steven; VERMEIR, Dirk et al.International journal of approximate reasoning. 2014, Vol 55, Num 9, pp 1971-2003, issn 0888-613X, 33 p.Article

Guarded open answer set programming with generalized literalsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2006, pp 179-200, issn 0302-9743, isbn 3-540-31782-1, 1Vol, 22 p.Conference Paper

A Logic for modeling decision making with dynamic preferencesDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2000, pp 391-406, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Guarded open answer set programmingHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 92-104, issn 0302-9743, isbn 3-540-28538-5, 13 p.Conference Paper